Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
511	Handbook of Knowledge Representation Edited by B. Porter, V. Lifschitz and F. van Harmelen c 2008 Elsevier All rights reserved 1 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:07:08 Non-classical logic Science Knowledge representation Model theory Artificial intelligence Frame problem Situation calculus Circumscription Modal logic Logic Mathematical logic Logic programming
512	econstor www.econstor.eu Der Open-Access-Publikationsserver der ZBW – Leibniz-Informationszentrum Wirtschaft The Open Access Publication Server of the ZBW – Leibniz Information Centre for Economics Add to Reading List Source URL: www.econstor.eu Language: English - Date: 2010-01-21 04:07:39 New classical macroeconomics Deduction Entailment Metalogic Rational expectations Logic Propositional calculus Macroeconomics
513	1 Truth-maker Semantics for Intuitionistic Logic I wish to propose a new semantics for intuitionistic logic, which is in some ways a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov (as exp Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-08-19 11:37:32 Non-classical logic Mathematical constructivism Propositional calculus Philosophy of mathematics Intuitionistic logic Negation Modal logic Kripke semantics Intuitionism Logic Mathematical logic Philosophical logic
514	Linear Logic complements Classical Logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:51 Ordinal numbers Elementary mathematics Proof theory Duality Large countable ordinal Ordinal arithmetic Topos Function Natural number Mathematics Mathematical logic Logic
515	Time and Information in Sequential and Concurrent Computation Vaughan Pratt∗ Stanford University January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:29 Mathematics Semigroup theory Concurrency Modal logic Non-classical logic Philosophical logic Monoid Parallel computing Chu space Abstract algebra Category theory Logic
516	Linear Logic for Generalized Quantum Mechanics Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA[removed]removed] Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-10-12 15:40:30 Non-classical logic Linear logic Quantum logic Intuitionistic logic Modal logic Propositional calculus Boolean algebra Function Interpretation Logic Mathematical logic Mathematics
517	Concurrent Kripke Structures Vineet Gupta∗ Dept. of Computer Science Stanford University, CA[removed]removed] January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:23 Algebraic structures Order theory Boolean algebra Non-classical logic Model theory Semiring Distributivity Modal logic Structure Mathematics Abstract algebra Mathematical logic
518	LIST OF PUBLICATIONS (I) Peer-reviewed articles: (1) ‘Note critiche sulle dieci specie di moto (Platone Leggi X 893B6–894C1)’, Elenchos, [removed]pp. 259–292. Add to Reading List Source URL: www.unige.ch Language: English - Date: 2012-03-27 16:08:00 Classical Greek philosophy Metaphysicians Philosophy of physics Philosophy of science Philosophy of time Physics Stoicism Aristotle Modal logic Philosophy Humanities Science
519	LANGE AND LAWS, KINDS, AND COUNTERFACTUALS Forthcoming in Topics in Contemporary Philosophy volume 8: Carving Nature at its Joints (ed. Matthew Slater) Alexander Bird Abstract Add to Reading List Source URL: eis.bris.ac.uk Language: English - Date: 2010-09-07 09:09:58 Determinacy Modal logic Fundamental frequency Logic Non-classical logic Mathematical analysis
520	Microsoft Word - Gironde.doc Add to Reading List Source URL: metaphysica.de Language: English - Date: 2006-02-07 06:53:17 Non-classical logic Philosophical logic Philosophy Modal logic Abstract object Object Ontology Logic Metaphysics

UPDATE